Obiettivi di Apprendimento
- Definire la sintassi formale utilizzando il Formato Esteso di Backus-Naur (EBNF)
- Analizzare le differenze tra semantica statica e dinamica
- Valutare i modelli semantici operazionali e denotazionali
- Specificare sistemi di tipi e regole di ambito all'interno degli standard linguistici